تعداد ۱۴ پاسخ غیر تکراری از ۱۵ پاسخ تکراری در مدت زمان ۰,۶۹ ثانیه یافت شد.

1. Computability and logic

پدیدآورنده: Boolos, George.

کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)

موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.

رده :

QA

9

.

59

.

B6C6

مشاهده در قفسه مجازی RIS Bibtex ISO

2. Computability and logic

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :

QA9

.

59

.

B66

2002

مشاهده در قفسه مجازی RIS Bibtex ISO

3. Computability and logic

پدیدآورنده: George Boolos, Richard Jeffrey

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical

رده :

QA

9

.

59

.

B66C6

مشاهده در قفسه مجازی RIS Bibtex ISO

4. Computability and logic

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :

E-BOOK

RIS Bibtex ISO

5. Computability and logic

پدیدآورنده: George Boolos, Richard Jeffrey

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical

رده :

QA

9

.

59

.

B66C6

1989

مشاهده در قفسه مجازی RIS Bibtex ISO

6. Computability and logic

پدیدآورنده: Boolos, George

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Computable functions ► Recursive functions ► Logic, Symbolic and mathematical

رده :

511

B724c

مشاهده در قفسه مجازی RIS Bibtex ISO

7. Computability and logic

پدیدآورنده : / George S. bools, John P.Burgess, Richard C. Jeffrey

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

8. Computability and logic

پدیدآورنده: / George Boolos, Richard Jeffrey

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :

QA9

.

59

.

B66

1980

مشاهده در قفسه مجازی RIS Bibtex ISO

9. Computability and logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computable functions.,Recursive functions.,Logic, Symbolic and mathematical.

رده :

QA

,

9

.

59

,.

B66

,

2002

مشاهده در قفسه مجازی RIS Bibtex ISO

10. Computability and logic

پدیدآورنده: / (by) George Boolos (and) Richard Jeffrey

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical,Computable functions

رده :

QA

248

.

5

.

B66

مشاهده در قفسه مجازی RIS Bibtex ISO

11. Computability and logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;

RIS Bibtex ISO

12. Computability and logic

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :

QA9

.

59

.

B66

2002

مشاهده در قفسه مجازی RIS Bibtex ISO

13. Computability and logic

پدیدآورنده: Boolos, George

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and Mathematical

رده :

QA

9

.

59

.

B66

1989

مشاهده در قفسه مجازی RIS Bibtex ISO

14. Computability and logic

پدیدآورنده: Boolos, George

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Computable functions ► Recursive functions ► Logic, Symbolic and mathematical

رده :

511

B724c

مشاهده در قفسه مجازی RIS Bibtex ISO

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است